acm sigbed
|
emsoft
|
participants
Baptiste Pauget
EMSOFT 2023: 23rd International Conference on Embedded Software
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines
Jean-Louis Colaço
,
Michael Mendler
,
Baptiste Pauget
, and
Marc Pouzet
10.1145/3609131
https://www.di.ens.fr/~pouzet/bib/emsoft23b-extended.pdf